21. Geometric computation
پدیدآورنده: editors Falai Chen, Dongming Wang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing ، Geometry,Computer programs ، Geometry
رده :
QA
448
.
D38
G445
2004
22. Mathematics mechanization and applications
پدیدآورنده: edited by Xiao-Shan Gao and Dongming Wang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Automatic theorem proving,Numerical solutions ، Equations,، Artificial intelligence,، Programming )Mathematics(
رده :
QA
76
.
9
.
A96
M34
2000
23. Mathematics mechanization and applications
پدیدآورنده: edited by Xiao-Shan Gao and Dongming Wang
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع: Equations, Numerical solutions, Data processing,Automatic theorem proving
رده :
{
1648
},
58f5cd92ab378d5ba32c2e983504bc9f
24. Symbolic computation and education
پدیدآورنده: / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics--Computer-assisted instruction--Congresses,Computable functions--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
20
,.
C65
,
I585
,
2006
25. Symbolic numeric computation /
پدیدآورنده: Dongming Wang, Lihong Zhi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
26. Symbolic-numeric computation
پدیدآورنده: / Dongming Wang, Lihong Zhi, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computable functions--Data processing--Congresses,Numerical analysis--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
.
59
,.
S96
,
2007
